The RISC Zero Proving System
These are the core algorithms that prove and verify the execution of zk-STARK circuits.
Crate Feature Flags
The following crate feature flags are available.
| Feature | Target(s) | Implies | Description |
|---|---|---|---|
| cuda | prove, std | Turns on CUDA GPU acceleration for the prover. Requires CUDA toolkit to be installed. | |
| metal | macos | prove, std | Turns on Metal GPU acceleration for the prover. |
| prove | all except rv32im | std | Enables the prover, incompatible within the zkvm guest. |
| std | all | Support for the Rust stdlib. |